Danish mikroprocessorudviklingssystem: la traduction en autres langues